Despite that it is commonly accepted that migraine is a disorder of the nervous system with a prominent genetic basis, it is comorbid with a plethora of medical conditions. Several studies have found bidirectional comorbidity between migraine and different disorders including neurological, psychiatric, cardio- and cerebrovascular, gastrointestinal, metaboloendocrine, and immunological conditions. Each of these has its own genetic load and shares some common characteristics with migraine. The bidirectional mechanisms that are likely to underlie this extensive comorbidity between migraine and other (...) diseases are manifold. Comorbid pathologies can induce and promote thalamocortical network dysexcitability, multi-organ transient or persistent pro-inflammatory state, and disproportionate energetic needs in a variable combination, which in turn may be causative mechanisms of the activation of an ample defensive system with includes the trigeminovascular system in conjunction with the neuroendocrine hypothalamic system. This strategy is designed to maintain brain homeostasis by regulating homeostatic needs, such as normal subcortico-cortical excitability, energy balance, osmoregulation, and emotional response. In this light, the treatment of migraine should always involves a multidisciplinary approach, aimed at identifying and, if necessary, eliminating possible risk and comorbidity factors. (shrink)

Since Bonaventure never wrote a treatise dedicated to the Eucharist, his extensive treatment in the fourth book of his commentary on Peter Lombard's Sentences, which covers many of the topics that would have comprised such a work, stands as his most extensive discussion. In it the Seraphic Doctor considers, among other things, the symbolism of the Eucharist, its connection to the imagery of the Old Testament, the metaphysics of transubstantiation, and the efficacy of the sacrament in the heart of (...) the believer. The result is a treatment that in many ways parallels the doctrine of Thomas Aquinas, yet is distinctively Bonaventurean. This volume presents a translation of this discussion in its entirety, together with the Latin text of the Quaracchi edition. Professor Johnson's introduction situates this text in the larger development of medieval Eucharistic doctrine and comments extensively on the theology of this set of questions. In addition to explaining dense technical and linguistic issues in the text, the notes key the reader to Bonaventure's rich inheritance of material in the Fathers and in earlier medieval theologians. (shrink)

The so‐called problem of irrelevant conjunction has been seen as a serious challenge for theories of confirmation. It involves the consequences of conjoining irrelevant statements to a hypothesis that is confirmed by some piece of evidence. Following Hawthorne and Fitelson, we reconstruct the problem with reference to Bayesian confirmation theory. Then we extend it to the case of conjoining irrelevant statements to a hypothesis that is dis confirmed by some piece of evidence. As a consequence, we obtain and formally present (...) a novel and more troublesome problem of irrelevant conjunction. We conclude by indicating a possible solution based on a measure‐sensitive approach and by critically discussing a major alternative way to address the problem. *Received December 2008; revised August 2009. †To contact the authors, please write to: Department of Philosophy, University of Turin, via Sant'Ottavio 20, 10124 Turin, Italy; e‐mail: vincenzo[email protected] ; [email protected] or [email protected]. (shrink)

Epistemologists and philosophers of science have often attempted to express formally the impact of a piece of evidence on the credibility of a hypothesis. In this paper we will focus on the Bayesian approach to evidential support. We will propose a new formal treatment of the notion of degree of confirmation and we will argue that it overcomes some limitations of the currently available approaches on two grounds: (i) a theoretical analysis of the confirmation relation seen as an extension of (...) logical deduction and (ii) an empirical comparison of competing measures in an experimental inquiry concerning inductive reasoning in a probabilistic setting. (shrink)

Bayesian approaches to human cognition have been extensively advocated in the last decades, but sharp objections have been raised too within cognitive science. In this paper, we outline a diagnosis of what has gone wrong with the prevalent strand of Bayesian cognitive science (here labelled pure Bayesian cognitive science), relying on selected illustrations from the psychology of reasoning and tools from the philosophy of science. Bayesians’ reliance on so-called method of rational analysis is a key point of our discussion. We (...) tentatively conclude on a constructive note, though: an appropriately modified variant of Bayesian cognitive science can still be coherently pursued, as some scholars have noted. (shrink)

In his mature works, Kuhn abandons the concept of a paradigm and becomes more interested in the analysis of the conceptual structure of scientific theories. These changes are interpreted as resulting from a ‘linguistic turn’ that Kuhn underwent sometimes around the 1980s. Much of the philosophical discussions about Kuhn’s post-‘linguistic turn’ philosophy revolves around his views on taxonomic concepts. Apart from taxonomy, however, the mature Kuhn introduces other concepts, such as conceptual networks and lexicons. This article distinguishes these three concepts (...) and shows that adopting each one of them has different impacts on Kuhn’s model of science. After distinguishing and assessing the concepts of taxonomy, network, and lexicon, it will be argued that the latter not only fits the Kuhnian model of science better, but it also helps capture the wide sense of Kuhn’s early concept of a paradigm. (shrink)

Interaction mining is about discovering and extracting insightful information from digital conversations, namely those human?human information exchanges mediated by digital network technology. We present in this article a computational model of natural arguments and its implementation for the automatic argumentative analysis of digital conversations, which allows us to produce relevant information to build interaction business analytics applications overcoming the limitations of standard text mining and information retrieval technology. Applications include advanced visualisations and abstractive summaries.

We prove that the unification type of Łukasiewicz logic and of its equivalent algebraic semantics, the variety of MV-algebras, is nullary. The proof rests upon Ghilardiʼs algebraic characterisation of unification types in terms of projective objects, recent progress by Cabrer and Mundici in the investigation of projective MV-algebras, the categorical duality between finitely presented MV-algebras and rational polyhedra, and, finally, a homotopy-theoretic argument that exploits lifts of continuous maps to the universal covering space of the circle. We discuss the background (...) to such diverse tools. In particular, we offer a detailed proof of the duality theorem for finitely presented MV-algebras and rational polyhedra—a fundamental result that, albeit known to specialists, seems to appear in print here for the first time. (shrink)

Al nominalista non manca proprio nulla? La dispensabilità dell’insieme vuoto in mereologia - Quine’s commitment to nominalism has always required set theory to be replaced by an ontologically less dubious tool for the analysis of predication, one that is usually ABSTRACT Rivista di storia della filosofia, n. 1, 2009 mereological in nature, akin to the Calculus of Individuals he and Goodman developed in a seminal paper on nominalism. The problem Quine himself always acknowledged as central in any such replacement arises (...) with the mereological "translation" of numbers. I show here that Quine’s proposed translation strategy, even when successful, raises even more serious issues since it requires mereology to supply a substitute for the empty set. After proving the indispensability, given Quine’s translation, of such an entity, I demonstrate that an exact mereological replica of the empty set cannot be admitted without engendering contradictions. I conclude by discussing some paraphrases of the usual mereological axioms that prima facie might seem to be compatible with the null object and assessing their implausibility. (shrink)

This paper outlines an account of conditionals, the evidential account, which rests on the idea that a conditional is true just in case its antecedent supports its consequent. As we will show, the evidential account exhibits some distinctive logical features that deserve careful consideration. On the one hand, it departs from the material reading of ‘if then’ exactly in the way we would like it to depart from that reading. On the other, it significantly differs from the non-material accounts which (...) hinge on the Ramsey Test, advocated by Adams, Stalnaker, Lewis, and others. (shrink)

Searching for information is critical in many situations. In medicine, for instance, careful choice of a diagnostic test can help narrow down the range of plausible diseases that the patient might have. In a probabilistic framework, test selection is often modeled by assuming that people's goal is to reduce uncertainty about possible states of the world. In cognitive science, psychology, and medical decision making, Shannon entropy is the most prominent and most widely used model to formalize probabilistic uncertainty and the (...) reduction thereof. However, a variety of alternative entropy metrics (Hartley, Quadratic, Tsallis, Rényi, and more) are popular in the social and the natural sciences, computer science, and philosophy of science. Particular entropy measures have been predominant in particular research areas, and it is often an open issue whether these divergences emerge from different theoretical and practical goals or are merely due to historical accident. Cutting across disciplinary boundaries, we show that several entropy and entropy reduction measures arise as special cases in a unified formalism, the Sharma–Mittal framework. Using mathematical results, computer simulations, and analyses of published behavioral data, we discuss four key questions: How do various entropy models relate to each other? What insights can be obtained by considering diverse entropy models within a unified framework? What is the psychological plausibility of different entropy models? What new questions and insights for research on human information acquisition follow? Our work provides several new pathways for theoretical and empirical research, reconciling apparently conflicting approaches and empirical findings within a comprehensive and unified information‐theoretic formalism. (shrink)

The conjunction fallacy has been a key topic in debates on the rationality of human reasoning and its limitations. Despite extensive inquiry, however, the attempt to provide a satisfactory account of the phenomenon has proved challenging. Here we elaborate the suggestion (first discussed by Sides, Osherson, Bonini, & Viale, 2002) that in standard conjunction problems the fallacious probability judgements observed experimentally are typically guided by sound assessments of _confirmation_ relations, meant in terms of contemporary Bayesian confirmation theory. Our main formal (...) result is a confirmation-theoretic account of the conjunction fallacy, which is proven _robust_ (i.e., not depending on various alternative ways of measuring degrees of confirmation). The proposed analysis is shown distinct from contentions that the conjunction effect is in fact not a fallacy, and is compared with major competing explanations of the phenomenon, including earlier references to a confirmation-theoretic account. (shrink)

In his mature writings, Kuhn describes the process of specialisation as driven by a form of incommensurability, defined as a conceptual/linguistic barrier which promotes and guarantees the insularity of specialties. In this paper, we reject the idea that the incommensurability among scientific specialties is a linguistic barrier. We argue that the problem with Kuhn’s characterisation of the incommensurability among specialties is that he presupposes a rather abstract theory of semantic incommensurability, which he then tries to apply to his description of (...) the process of specialisation. By contrast, this paper follows a different strategy: after criticising Kuhn’s view, it takes a further look at how new scientific specialties emerge. As a result, a different way of understanding incommensurability among specialties will be proposed. (shrink)

The Hackett edition of this classic of medieval philosophy and mysticism--a plan of pilgrimage for the learned Franciscan wishing to reach the apex of the mystical experience--combines the highly regarded Boehner translation with a new introduction by Stephen Brown focusing on St. Francis as a model of the contemplative life, the meaning of the Itinerarium, its place in Bonaventure’s mystical theology, and the plan of the work. Boehner’s Latin Notes, as well as Latin texts from other works of (...) class='Hi'>Bonaventure included in the Franciscan Institute Edition, are rendered here in English, making this the edition of choice for the beginning student. (shrink)

The present paper is divided in two parts . In the first part we will propose Meinong’s theory of time outlined in 1899 interpreted in such a way that the subtlety of his argumentation is emphasised. In the second, we will discuss different solutions for the celebrated McTaggart’s paradox, reaching the conclusion that a theory of time suggested by the reflections of the Austrian Philosopher seems to be the most adequate perspective for tackling this problem.

This paper investigates the logic of reasons. Its aim is to provide an analysis of the sentences of the form ‘p is a reason for q’ that yields a coherent account of their logical properties. The idea that we will develop is that ‘p is a reason for q’ is acceptable just in case a suitably defined relation of incompatibility obtains between p and ¬q. As we will suggest, a theory of reasons based on this idea can solve three challenging (...) puzzles that concern, respectively, contraposing reasons, conflicting reasons, and supererogatory reasons, and opens a new perspective on some classical issues concerning non-deductive inferences. (shrink)

The paper lists several editions of Euclid’s Elements in the Early Modern Age, giving for each of them the axioms and postulates employed to ground elementary mathematics.

This paper conducts a Bayesian analysis of the Hubble tension, which addresses the discrepancy between local measurements of the Hubble Constant $$H_0$$ and the value predicted by the $$\Lambda $$ CDM model based on Cosmic Microwave Background data. By incorporating new, independent data from the James Webb Space Telescope released in August 2024, the analysis shows that, unlike before, there is no longer strong evidence to suggest that the $$\Lambda $$ CDM model is incorrect. As a result, the Hubble tension (...) appears to ease somewhat, indicating that the previously perceived crisis in cosmology may have been overstated, and the standard model remains robust. (shrink)

Avicenna’s ground-breaking view of logic as both a tool for other sciences and a science in its own right has already attracted scholars’ attention and has been studied in several different respects. The present paper aims to address a specific issue entailed by considering logic as a science in its own right: that is, assessing the relation in which logic as a science stands to the other sciences, and particularly to metaphysics and psychology. The inquiry will focus on a fundamental, (...) yet tricky, passage of chapter I.4 of Avicenna’s Kitāb al-Madḫal, the opening work of his most comprehensive philosophical summa, the Kitāb al-Šifāʾ (Book of Healing). Due to the obscurity of some of Avicenna’s references, chapter I.4 “on the subject-matter of logic” has stimulated numerous attempts at interpretation from the Middle Ages to today. In this paper, I will attempt to provide a new reading of the chapter in light of Avicenna’s definition of the epistemological status of science in Burhān II.7. (shrink)

This paper outlines an account of concessive conditionals that rests on two main ideas. One is that the logical form of a sentence as used in a given context is determined by the content expressed by the sentence in that context. The other is that a coherent distinction can be drawn between a reading of ‘if’ according to which a conditional is true when its consequent holds on the supposition that its antecedent holds, and a stronger reading according to which (...) a conditional is true when its antecedent supports its consequent. As we will suggest, the logical form of concessive conditionals can be elucidated by relying on this distinction. (shrink)

This paper develops a probabilistic analysis of conditionals which hinges on a quantitative measure of evidential support. In order to spell out the interpreta- tion of ‘if’ suggested, we will compare it with two more familiar interpretations, the suppositional interpretation and the strict interpretation, within a formal framework which rests on fairly uncontroversial assumptions. As it will emerge, each of the three interpretations considered exhibits specific logical features that deserve separate consideration.

In his late years, Thomas Kuhn became interested in the process of scientific specialization, which does not seem to possess the destructive element that is characteristic of scientific revolutions. It therefore makes sense to investigate whether and how Kuhn’s insights about specialization are consistent with, and actually fit, his model of scientific progress through revolutions. In this paper, I argue that the transition toward a new specialty corresponds to a revolutionary change for the group of scientists involved in such a (...) transition. I will clarify the role of the scientific community in revolutionary changes and characterize the incommensurability across specialties as possessing both semantic and methodological aspects. The discussion of the discovery of the structure of DNA will serve both as an illustration of my main argument and as reply to one criticism raised against Kuhn—namely, that his model cannot capture cases of revolutionary yet non-disruptive episodes of scientific progress. Revisiting Kuhn’s ideas on specialization will shed new light on some often overlooked features of scientific change. (shrink)

Starting from the 13th century, the question of defining theology as a science gained prominence within a new epistemological reflection on the discipline. It has been hypothesized that the availability of new translations of Aristotelian works significantly contributed to the growing interest among theologians in the theory of science. One of the most prominent intellectuals who recognized the necessity of defining theology as a science and outlining its boundaries and investigative methods in relation to other disciplines, was Albert the Great (...) (d. 1280). Numerous studies have been dedicated to exploring Albert’s treatment of this subject since the 1930s. However, little to no attention has been given to the role played by Arabic sources, particularly the works of Avicenna (Ibn Sīnā, d. 1037), the philosopher and polymath of Persian origin, in shaping Albert’s own definition of theology as a science. This contribution concentrates on the analysis of a section of the Summa Theologiae (Treatise I, quaestio V, chapter 3), with particular emphasis on the ‘translation’ of the logical-argumentative method from its domain of application in scientific and philosophical research to the branch of theology dedicated to safeguarding Christian doctrine against the criticisms and the attacks of heretics. The aim is to analyze how Albert accomplished this translation of the method of inquiry by drawing parallels between the defence of the principles of philosophical inquiry, which is a primary concern of metaphysics, and the defence of the articles of faith in theology. It is by reconciling sources from both the Christian and the Arabo-Islamic traditions that Albert claims the use of a form of dialectic argumentation within theology. (shrink)

Probability ratio and likelihood ratio measures of inductive support and related notions have appeared as theoretical tools for probabilistic approaches in the philosophy of science, the psychology of reasoning, and artificial intelligence. In an effort of conceptual clarification, several authors have pursued axiomatic foundations for these two families of measures. Such results have been criticized, however, as relying on unduly demanding or poorly motivated mathematical assumptions. We provide two novel theorems showing that probability ratio and likelihood ratio measures can be (...) axiomatized in a way that overcomes these difficulties. (shrink)

The purpose of this article is to investigate about the differences and, if any, the similarities among the modern State and the mafia criminal organizations. In particular, starting from their definitions, I will try to find the differences between State and mafia, to then focus on the operational aspects of the functioning of these two organizations, with specific reference to the effect/impact that both these human constructs have on citizens’ existences, and especially on citizen’s economic lives. All this in order (...) to understand whether it is possible to identify an objective difference – beside morals – between taxation by the modern State and extortion by criminal organizations. With this of course I do not want to argue that the mafia is in any way justifiable or absolvable, nor that it is better than the State. However, I want to investigate whether there is a real, logical reason why the State should be considered by the citizens more desirable than the criminal organizations oppressing Southern Italy, from a strictly logical point of view and not from the point of view of ethics and morality. (shrink)